Heinrich Wansing : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (147)
Les plus populaires
Liste
- Liste
- Tableau

1

Agency and Deontic Logic, J.F. Horty

Heinrich Wansing

Journal:

Journal of Logic, Language and Information

Année:

2004

Langue:

english

Fichier:

PDF, 53 KB

english, 2004

2

Proof theory of Nelson’s paraconsistent logic: A uniform perspective

Norihiro Kamide, Heinrich Wansing

Journal:

Theoretical Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 384 KB

english, 2012

3

Constructive negation, implication, and co-implication

Wansing, Heinrich

Journal:

Journal of Applied Non-Classical Logics

Année:

2008

Langue:

english

Fichier:

PDF, 322 KB

english, 2008

4

[Outstanding Contributions to Logic] Dag Prawitz on Proofs and Meaning Volume 7 ||

Wansing, Heinrich

Année:

2015

Langue:

english

Fichier:

PDF, 11.27 MB

english, 2015

5

40 years of FDE: An Introductory Overview

Omori, Hitoshi, Wansing, Heinrich

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 581 KB

english, 2017

6

Functional completeness for subsystems of intuitionistic propositional logic

Heinrich Wansing

Journal:

Journal of Philosophical Logic

Année:

1993

Langue:

english

Fichier:

PDF, 692 KB

english, 1993

7

Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood

Yaroslav Shramko, Heinrich Wansing

Journal:

Journal of Logic, Language and Information

Année:

2006

Langue:

english

Fichier:

PDF, 449 KB

english, 2006

8

Doxastic Decisions, Epistemic Justification, and The Logic of Agency

Heinrich Wansing

Journal:

Philosophical Studies

Année:

2006

Langue:

english

Fichier:

PDF, 340 KB

english, 2006

9

Completeness and cut-elimination theorems for trilattice logics

Norihiro Kamide, Heinrich Wansing

Journal:

Annals of Pure and Applied Logic

Année:

2011

Langue:

english

Fichier:

PDF, 347 KB

english, 2011

10

Remarks on the logic of imagination. A step towards understanding doxastic control through imagination

Wansing, Heinrich

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 532 KB

english, 2015

11

A General Possible Worlds Framework for Reasoning about Knowledge and Belief

Heinrich Wansing

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 2.40 MB

english, 1990

12

Introduction to the special issue “Doxastic Agency and Epistemic Responsibility”

Kruse, Andrea, Wansing, Heinrich

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 349 KB

english, 2016

13

Tarskian Structured Consequence Relations and Functional Completeness

Heinrich Wansing

Journal:

Mathematical Logic Quarterly

Année:

1995

Langue:

english

Fichier:

PDF, 901 KB

english, 1995

14

Informational interpretation of substructural propositional logics

Heinrich Wansing

Journal:

Journal of Logic, Language and Information

Année:

1993

Langue:

english

Fichier:

PDF, 1.24 MB

english, 1993

15

Formal Philosophy - Edited by Vincent F. Hendricks and John Symons

Heinrich Wansing

Journal:

Analytic Philosophy

Année:

2007

Langue:

english

Fichier:

PDF, 52 KB

english, 2007

16

Predicate Logics on Display

Heinrich Wansing

Journal:

Année:

1999

Fichier:

PDF, 1.07 MB

1999

17

The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations

Heinrich Wansing

Journal:

Année:

2000

Fichier:

PDF, 603 KB

2000

18

A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity

Heinrich Wansing

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 394 KB

english, 2012

19

Diamonds Are a Philosopher's Best Friends: The Knowability Paradox and Modal Epistemic Relevance Logic

Heinrich Wansing

Journal:

Journal of Philosophical Logic

Année:

2002

Langue:

english

Fichier:

PDF, 1.87 MB

english, 2002

20

DAVID MAKINSON, Bridges from Classical to Nonmonotonic Logic, Texts in ComputingVoX. 5, King's College Publications, London, 2005. xvi + 216 pp. ISBN 1–904987–00–1

Heinrich Wansing

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 275 KB

english, 2006

21

[Trends in Logic] Recent Trends in Philosophical Logic Volume 41 ||

Ciuni, Roberto, Wansing, Heinrich, Willkommen, Caroline

Année:

2014

Langue:

english

Fichier:

PDF, 2.48 MB

english, 2014

22

[Trends in Logic] Recent Trends in Philosophical Logic Volume 41 || Leibnizian Intensional Semantics for Syllogistic Reasoning

Ciuni, Roberto, Wansing, Heinrich, Willkommen, Caroline

Année:

2014

Langue:

english

Fichier:

PDF, 231 KB

english, 2014

23

The Legacy of the Lvov-Warsaw School || Preface

Heinrich Wansing

Journal:

Année:

2002

Langue:

english

Fichier:

PDF, 217 KB

english, 2002

24

8 Bridges between Mainstream and Formal Epistemology || Doxastic Decisions, Epistemic Justification, and the Logic of Agency

Heinrich Wansing

Journal:

Philosophical Studies

Année:

2006

Langue:

english

Fichier:

PDF, 2.42 MB

english, 2006

25

External Curries

Wansing, Heinrich, Priest, Graham

Journal:

Journal of Philosophical Logic

Année:

2015

Langue:

english

Fichier:

PDF, 1.93 MB

english, 2015

26

A fugue on the themes of awareness logic and correspondence

Thijsse, Elias, Wansing, Heinrich

Journal:

Journal of Applied Non-Classical Logics

Année:

1996

Langue:

english

Fichier:

PDF, 468 KB

english, 1996

27

Sequent Calculi for Normal Modal Propositional Logics

WANSING, HEINRICH

Journal:

Journal of Logic and Computation

Année:

1994

Langue:

english

Fichier:

PDF, 807 KB

english, 1994

28

Negation || Generalized Ortho Negation

Wansing, Heinrich

Année:

1996

Langue:

english

Fichier:

PDF, 6.67 MB

english, 1996

29

Modal logic. An introduction to its syntax and semanticsby Nino B. Cocchiarella; Max A. Freund

Review by: Heinrich Wansing

Journal:

Bulletin of Symbolic Logic

Année:

2010

Langue:

english

Fichier:

PDF, 334 KB

english, 2010

30

Consequence, Counterparts and Substitution

Bauer, Sebastian, Wansing, Heinrich, Sugden, Sherwood J. B.

Journal:

Année:

2002

Langue:

english

Fichier:

PDF, 697 KB

english, 2002

31

Some Useful 16-Valued Logics: How a Computer Network Should Think

Yaroslav Shramko and Heinrich Wansing

Journal:

Journal of Philosophical Logic

Année:

2005

Langue:

english

Fichier:

PDF, 3.13 MB

english, 2005

32

The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations

Heinrich Wansing

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 1.88 MB

english, 2000

33

Consequences || Consequence, Counterparts and Substitution

Sebastian Bauer and Heinrich Wansing

Journal:

Année:

2002

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2002

34

Nino B. Cocchiarella and Max A. Freund. Modal logic. An introduction to its syntax and semantics. Oxford University Press, Oxford, 2008, xi + 268 pp.

Wansing, Heinrich

Journal:

Bulletin of Symbolic Logic

Année:

2010

Langue:

english

Fichier:

PDF, 74 KB

english, 2010

35

Negation || Litotes and Downward Monotonicity

Wansing, Heinrich

Année:

1996

Langue:

english

Fichier:

PDF, 5.91 MB

english, 1996

36

Advances in Modal Logic (Volume 3) || The Semantics of Modal Predicate Logic I: Counterpart-Frames

Wolter, Frank, Wansing, Heinrich, de Rijke, Maarten, Zakharyaschev, Michael

Année:

2002

Langue:

english

Fichier:

PDF, 1.01 MB

english, 2002

37

A more general general proof theory

Wansing, Heinrich

Journal:

Journal of Applied Logic

Année:

2017

Langue:

english

Fichier:

PDF, 473 KB

english, 2017

38

Disentangling FDE-Based Paraconsistent Modal Logics

Odintsov, Sergei P., Wansing, Heinrich

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 650 KB

english, 2017

39

Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic

Olkhovikov, Grigory K., Wansing, Heinrich

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 612 KB

english, 2018

40

ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION

OMORI, HITOSHI, WANSING, HEINRICH

Journal:

The Review of Symbolic Logic

Année:

2018

Langue:

english

Fichier:

PDF, 166 KB

english, 2018

41

Varieties of entailment: introduction to the special issue

Wansing, Heinrich, Ruffino, Marco

Journal:

Année:

2020

Fichier:

PDF, 544 KB

2020

42

Negation || A Hierarchy of Negative Expressions

Wansing, Heinrich

Année:

1996

Fichier:

PDF, 6.53 MB

1996

43

Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten

Heinrich Wansing

Journal:

Mathematical Logic Quarterly

Année:

1989

Langue:

german

Fichier:

PDF, 454 KB

german, 1989

44

Combining linear-time temporal logic with constructiveness and paraconsistency

Norihiro Kamide, Heinrich Wansing

Journal:

Journal of Applied Logic

Année:

2010

Langue:

english

Fichier:

PDF, 409 KB

english, 2010

45

Substructural logics

Heinrich Wansing

Journal:

Année:

1996

Langue:

english

Fichier:

PDF, 204 KB

english, 1996

46

A general possible worlds framework for reasoning about knowledge and belief

Heinrich Wansing

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 1.07 MB

english, 1990

47

Addenda and corrigenda to “A general possible worlds framework for reasoning about knowledge and belief”

Heinrich Wansing

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 36 KB

english, 1991

48

Book Review

Wansing Heinrich

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 133 KB

english, 2006

49

Some Useful 16-Valued Logics: How a Computer Network Should Think

Yaroslav Shramko, Heinrich Wansing

Journal:

Journal of Philosophical Logic

Année:

2005

Langue:

english

Fichier:

PDF, 384 KB

english, 2005

50

Connectives Stranger than Tonk

Heinrich Wansing

Journal:

Journal of Philosophical Logic

Année:

2006

Langue:

english

Fichier:

PDF, 247 KB

english, 2006